Merge pull request #1430 from dp-arm/dp/cpulib
authorDimitris Papastamos <[email protected]>
Tue, 19 Jun 2018 14:07:30 +0000 (15:07 +0100)
committerGitHub <[email protected]>
Tue, 19 Jun 2018 14:07:30 +0000 (15:07 +0100)
cpulib: Add ISBs or comment why they are unneeded


Trivial merge